1. Assertion-Based Design

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Design and construction,Integrated circuits -- Verification,Verilog (Computer hardware description language),مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طرح و ساختمان,مدار‌های مجتمع -- راستی‌آزمایی,وریلاگ (زبان توصیفی سخت‌افزار کامپیوتر)

رده :
E-Book
,

2. Assertion-based design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
E-BOOK

3. Assertion-based design

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Integrated circuits- Very large scale integration- Design and construction,Integrated circuits- Verification,Verilog (Computer hardware description language)

رده :
TK7874
.
75
F68
2004

4. Correct hardware design methodologies: proceedings of the Advanced Research Workshop on Correct Hardware Design Methodologies, Turin, Italy, June 12-14, 1991

پدیدآورنده :

کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (تهران)

موضوع : Integrated circuits--Very large scale integration--Design and construction - Data processing--Congresses,Computer - Aided design--congresses,Computer software--Verification--Congresses

رده :
TK
7874
.
A3353
1991

5. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification

رده :
TK
7874
.
C685
1989

6. Trace-Based Post-Silicon Validation for VLSI Circuits

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Integrated circuits -- Very large scale integration -- Design and construction.,Integrated circuits -- Verification.,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی و ساخت ,مدار‌های مجتمع -- راستی‌آزمایی

رده :
E-Book
,

7. Trace-based post-silicon validation for VLSI circuits

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integrated circuits, Very large scale integration, Design and construction,Integrated circuits, Verification,COMPUTERS / Logic Design, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, bisacsh,Integrated circuits, Verification, fast,Integrated circuits, Very large scale integration, Design and construction, fast,Engineering,Computer science,Systems engineering,Circuits and Systems,Processor Architectures,Semiconductors

رده :
E-BOOK

8. Trace-based post-silicon validation for VLSI circuits

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : Very large scale integration Design and construction ، Integrated circuits,Verification ، Integrated circuits

رده :
TK7874
.
L58
2014

9. VLSI specification, verification, and synthesis

پدیدآورنده :

موضوع : Integrated circuits - Very large scale integration - Design and construction,Integrated circuits - Verification

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

10. based design-Assertion

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Integrated circuits ; Very large scale integration ; Design and construction. ; Integrated circuits ; Verification. ; Verilog (Computer hardware description language) ;